CONCUR '98 : concurrency theory (Nice, 8-11 September 1998)Sangiorgi, Davide; de Simone, Robert.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64896-8, XI, 655 p, isbn 3-540-64896-8Conference Proceedings

Ensuring termination by typabilityYUXIN DENG; SANGIORGI, Davide.Information and computation (Print). 2006, Vol 204, Num 7, pp 1045-1082, issn 0890-5401, 38 p.Article

A Hybrid Type System for Lock-Freedom of Mobile ProcessesKOBAYASHI, Naoki; SANGIORGI, Davide.ACM transactions on programming languages and systems. 2010, Vol 32, Num 5, issn 0164-0925, 1745312.1-1745312.49Article

Types in concurrency (Part I)DE NICOLA, Rocco; SANGIORGI, Davide.Acta informatica. 2005, Vol 42, Num 2-3, issn 0001-5903, 147 p.Serial Issue

Concurrency theorySANGIORGI, Davide; DE SIMONE, Robert.Theoretical computer science. 2002, Vol 274, Num 1-2, issn 0304-3975, 278 p.Conference Proceedings

LOCALITE DANS LE π CALCUL ET APPLICATIONS AUX OBJETS DISTRIBUES = LOCALITY IN THE π CALCULUS AND APPLICATIONS TO DISTRIBUTED OBJECTSMerro, Massino; Sangiorgi, Davide.2000, 178 p.Thesis

Asynchronous cellular automata and asynchronous automata for pomsetsKUSKE, D.Lecture notes in computer science. 1998, pp 517-532, issn 0302-9743, isbn 3-540-64896-8Conference Paper

The regular viewpoint on PA-processesLUGIEZ, D; SCHNOEBELEN, P.Lecture notes in computer science. 1998, pp 50-66, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Abstract games for infinite state processesSTEVENS, P.Lecture notes in computer science. 1998, pp 147-162, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Controlled timed automataDEMICHELIS, F; ZIELONKA, W.Lecture notes in computer science. 1998, pp 455-469, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Stochastic transition systemsDE ALFARO, L.Lecture notes in computer science. 1998, pp 423-438, issn 0302-9743, isbn 3-540-64896-8Conference Paper

It's about time : Real-time logics reviewedHENZINGER, T. A.Lecture notes in computer science. 1998, pp 439-454, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Synthesis of ENI-systems using minimal regionsPIETKIEWICZ-KOUTNY, M.Lecture notes in computer science. 1998, pp 565-580, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Deriving unbounded Petri nets from formal languagesDARONDEAU, P.Lecture notes in computer science. 1998, pp 533-548, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Fibrational semantics of dataflow networksSTARK, E. W.Lecture notes in computer science. 1998, pp 597-612, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Stochastic process algebras benefits for performance evaluation and challengesHERZOG, U.Lecture notes in computer science. 1998, pp 366-372, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Sometimes and not never re-revisited : On branching versus linear timeVARDI, M. Y.Lecture notes in computer science. 1998, pp 1-17, issn 0302-9743, isbn 3-540-64896-8Conference Paper

The Tau-laws of fusionPARROW, J; VICTOR, B.Lecture notes in computer science. 1998, pp 99-114, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Unfolding and finite prefix for nets with read arcsVOGLER, W; SEMENOV, A; YAKOVLEV, A et al.Lecture notes in computer science. 1998, pp 501-516, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Modelling IP mobilityAMADIO, R. M; PRASAD, S.Lecture notes in computer science. 1998, pp 301-316, issn 0302-9743, isbn 3-540-64896-8Conference Paper

On discretization of delays in timed automata and digital circuitsASARIN, E; MALER, O; PNUELI, A et al.Lecture notes in computer science. 1998, pp 470-484, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Environmental Bisimulations for Higher-Order LanguagesSANGIORGI, Davide; KOBAYASHI, Naoki; SUMII, Eijiro et al.ACM transactions on programming languages and systems. 2011, Vol 33, Num 1, issn 0164-0925, 5.1-5.69Article

Bisimulation : from the origins to todaySANGIORGI, Davide.Symposium on Logic in Computer Science. 2004, pp 298-302, isbn 0-7695-2192-4, 1Vol, 5 p.Conference Paper

The regular viewpoint on PA-processesLUGIEZ, D; SCHNOEBELEN, Ph.Theoretical computer science. 2002, Vol 274, Num 1-2, pp 89-115, issn 0304-3975Conference Paper

Type-based information flow analysis for the π-calculusKOBAYASHI, Naoki.Acta informatica. 2005, Vol 42, Num 4-5, pp 291-347, issn 0001-5903, 57 p.Article